Weiermann, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proof-theoretic investigations on Kruskal's theorem

Michael Rathjen, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 2.26 MB

english, 1993

2

Phase transitions for Gödel incompleteness

Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 893 KB

english, 2009

3

Asymptotic distribution of integers with certain prime factorizations

Vernaeve, Hans, Vindas, Jasson, Weiermann, Andreas

Journal:

Journal of Number Theory

Year:

2014

Language:

english

File:

PDF, 277 KB

english, 2014

4

A functorial property of the Aczel-Buchholz-Feferman function

Weiermann, Andreas

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 777 KB

english, 1994

5

Unprovability results involving braids

Carlucci, L., Dehornoy, P., Weiermann, A.

Journal:

Proceedings of the London Mathematical Society

Year:

2011

Language:

english

File:

PDF, 584 KB

english, 2011

6

Predicatively unprovable termination of the Ackermannian Goodstein process

Arai, Toshiyasu, FernÃ¡ndez-Duque, David, Wainer, Stanley, Weiermann, Andreas

Journal:

Proceedings of the American Mathematical Society

Year:

2020

File:

PDF, 286 KB

2020

7

Analyzing Gödel's T Via Expanded Head Reduction Trees

Arnold Beckmann, Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

2000

Language:

english

File:

PDF, 256 KB

english, 2000

8

Γ0 May Be Minimal Subrecursively Inaccessible

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

2001

Language:

english

File:

PDF, 172 KB

english, 2001

9

A simplified functorial construction of the veblen hierarchy

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 222 KB

english, 1993

10

An order-theoretic characterization of the Schütte-Veblen-Hierarchy

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 830 KB

english, 1993

11

A Uniform Approach to Fundamental Sequences and Hierarchies

Wilfried Buchholz, Adam Cichon, Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 673 KB

english, 1994

12

Phase transition thresholds for some Friedman-style independence results

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

13

Ordinal arithmetic with simultaneously defined theta-functions

Andreas Weiermann, Gunnar Wilken

Journal:

Mathematical Logic Quarterly

Year:

2011

Language:

english

File:

PDF, 187 KB

english, 2011

14

Complexity Bounds for Some Finite Forms of Kruskal's Theorem

Andreas Weiermann

Journal:

Journal of Symbolic Computation

Year:

1994

File:

PDF, 715 KB

1994

15

Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths

Andreas Weiermann

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 324 KB

english, 1995

16

Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results

Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 391 KB

english, 2005

17

Classifying the phase transition threshold for Ackermannian functions

Eran Omri, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 459 KB

english, 2009

18

More on lower bounds for partitioning -large sets

Henryk Kotlarski, Bożena Piekart, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 348 KB

english, 2007

19

Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers

Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann

Journal:

Journal of Combinatorial Theory, Series A

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

20

Sharp thresholds for hypergraph regressive Ramsey numbers

Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann

Journal:

Journal of Combinatorial Theory, Series A

Year:

2011

Language:

english

File:

PDF, 336 KB

english, 2011

21

Term rewriting theory for the primitive recursive functions

E.A. Cichon, A. Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 1.35 MB

english, 1997

22

Sometimes slow growing is fast growing

Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 480 KB

english, 1997

23

Vereinfachte Kollabierungsfunktionen und ihre Anwendungen

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1991

Language:

german

File:

PDF, 475 KB

german, 1991

24

Late abstracts 186–187

J. Jaehne, H. -J. Meyer, Ch. Wittekind, H. Maschek, R. Pichlmayr, G. Jacobi, G. Weiermann, H. Gräfin Vitzthum, D. Schwabe, Ch. Manegold, B. Krempien, M. Kaufmann, M. Bailly, J. -F. Doré, Ø. Fodstad, I

Journal:

Clinical and Experimental Metastasis

Year:

1988

Language:

english

File:

PDF, 6.89 MB

english, 1988

25

Phase transitions of iterated Higman-style well-partial-orderings

Lev Gordeev, Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

2012

Language:

english

File:

PDF, 422 KB

english, 2012

26

A term rewriting characterization of the polytime functions and related complexity classes

Arnold Beckmann, Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1996

Language:

english

File:

PDF, 233 KB

english, 1996

27

Bounding derivation lengths with functions from the slow growing hierarchy

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1998

Language:

english

File:

PDF, 218 KB

english, 1998

28

A proof of strongly uniform termination for Gödel's(T)by methods from local predicativity

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1997

Language:

english

File:

PDF, 199 KB

english, 1997

29

Characterizing the elementary recursive functions by a fragment of Gödel's T

Arnold Beckmann, Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

2000

Language:

english

File:

PDF, 157 KB

english, 2000

30

Studieren in den USA

Claudia Weiermann

Journal:

Standort - Zeitschrift für angewandte Geographie

Year:

1999

Language:

german

File:

PDF, 185 KB

german, 1999

31

A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems

Benjamin Blankertz, Andreas Weiermann

Journal:

Year:

1999

File:

PDF, 763 KB

1999

32

Slow Versus Fast Growing

Andreas Weiermann

Journal:

Year:

2002

Language:

english

File:

PDF, 125 KB

english, 2002

33

Streamlined subrecursive degree theory

Lars Kristiansen, Jan-Christoph Schlage-Puchta, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 342 KB

english, 2012

34

Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal

Michiel De Smet, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 251 KB

english, 2012

35

Incidental sequence learning across the lifespan

Brigitte Weiermann, Beat Meier

Journal:

Year:

2012

Language:

english

File:

PDF, 439 KB

english, 2012

36

The rotator spectrum in the delta-regime of the effective field theory in 3 and 4 dimensions

Ferenc Niedermayer, Christoph Weiermann

Journal:

Nuclear Physics B

Year:

2011

Language:

english

File:

PDF, 191 KB

english, 2011

37

Slow consistency

Sy-David Friedman, Michael Rathjen, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 259 KB

english, 2013

38

Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1995

Language:

english

File:

PDF, 360 KB

english, 1995

39

Goodstein sequences for prominent ordinals up to the ordinal of

Weiermann, Andreas, Wilken, Gunnar

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 300 KB

english, 2013

40

"What matters in implicit task sequence learning: Perceptual stimulus features, task sets, or correlated streams of information?" Correction to Weiermann et al. (2010).

Weiermann, Brigitte, Cock, Josephine, Meier, Beat

Journal:

Journal of Experimental Psychology: Learning, Memory, and Cognition

Year:

2011

Language:

english

File:

PDF, 234 KB

english, 2011

41

Only correlated sequences that are actively processed contribute to implicit sequence learning

Meier, Beat, Weiermann, Brigitte, Cock, Josephine

Journal:

Acta Psychologica

Year:

2012

Language:

english

File:

PDF, 498 KB

english, 2012

42

Implicit task sequence learning in patients with Parkinson's disease, frontal lesions and amnesia: The critical role of fronto–striatal loops

Meier, Beat, Weiermann, Brigitte, Gutbrod, Klemens, Stephan, Marianne A., Cock, Josephine, Müri, René M., Kaelin-Lang, Alain

Journal:

Neuropsychologia

Year:

2013

Language:

english

File:

PDF, 979 KB

english, 2013

43

Some Interesting Connections between the Slow Growing Hierarchy and the Ackermann Function

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 398 KB

english, 2001

44

An Application of Graphical Enumeration to PA

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 388 KB

english, 2003

45

An extremely sharp phase transition threshold for the slow growing hierarchy

WEIERMANN, ANDREAS

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 356 KB

english, 2006

46

Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

1993

Language:

english

File:

PDF, 521 KB

english, 1993

47

Well-partial-orderings and the big Veblen number

Van der Meeren, Jeroen, Rathjen, Michael, Weiermann, Andreas

Journal:

Archive for Mathematical Logic

Year:

2015

Language:

english

File:

PDF, 405 KB

english, 2015

48

An application of graphical enumeration to PA

Weiermann, Andreas

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 768 KB

english, 2003

49

How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study

Weiermann, Andreas

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.46 MB

english, 1998

50

Formula2-computable real numbers

Skordev, D., Weiermann, A., Georgiev, I.

Journal:

Journal of Logic and Computation

Year:

2012

Language:

english

File:

PDF, 273 KB

english, 2012